Formalising Graphical Behaviour Descriptions
نویسنده
چکیده
CRESS (Chisel Representation Employing Systematic Specification) is used for graphical behaviour description, underpinned by formal and implementation languages. Plug-in frameworks adapt it for particular application domains such as Intelligent Networks, Internet Telephony and Interactive Voice Response. The CRESS notation and its syntax are explained. The semantics of CRESS is discussed with reference to its interpretation in LOTOS.
منابع مشابه
Towards Formalising Adaptive Behaviour Within the Scope of E-Learning
As there are a lot of approaches and projects within the area of adaptive e-learning, several theoretical models have been developed in the last 15 years. Against this background, the AdeLE team implemented a first prototype on basis of informal descriptions given by literature research as well as concrete circumstances of the research project. Nevertheless, a theoretical model fulfilling certa...
متن کاملFormalising the Chisel Feature Notation
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic Specification) is an enhanced version of CHISEL with tightly defined rules for the syntax and static semantics of diagrams. More importantly, CRESS has formal denotations given by SDL (Specification and Description Lang...
متن کاملFormalising Behaviour Trees with CSP
Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements are modelled as single trees which later on are integrated into a model of the system as a whole. We develop a formal semantics for a subset of Behaviour Trees using CSP. This work, on one hand, provides tool support for Behaviou...
متن کاملPreferences, Descriptions, and Response Latency to Fractal Images Among Individuals With and Without Schizophrenia
Background: Early simple, low-cost diagnosis of schizophrenia may accelerate the beginning of the treatment process. Here, utilizing the projective tools, including fractal images, are some of the diagnostic aids. Objectives: This study aimed to compare the preferences, descriptions, and response latency to fractal images between schizophrenic and healthy individuals. Materials & Methods: In ...
متن کاملGenerating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, code generators are not as mature as classical compilers and they need to be extensively tested. This paper proposes a technique for systematically deriving suitable test cases for code generators, involving the interaction of chos...
متن کامل